大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Future Multimedia Networking [electronic resource] : Third International Workshop, FMN 2010, Krak贸w, Poland, June 17-18, 2010. Proceedings

0
索取号：
作者：Zeadally、 Sherali.、Cerqueira、 Eduardo.、Curado、 Mar铆lia.、Leszczuk、 Miko艂aj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli

0
索取号：
作者：Manna、 Zohar.、Peled、 Doron A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Data and Applications Security and Privacy XXIV [electronic resource] : 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings

0
索取号：
作者：Foresti、 Sara.、Jajodia、 Sushil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graphics Recognition. Achievements, Challenges, and Evolution [electronic resource] : 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers

0
索取号：
作者：Ogier、 Jean-Marc.、Liu、 Wenyin.、Llad贸s、 Josep.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Digital Mammography [electronic resource] : 10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 16-18, 2010. Proceedings

0
索取号：
作者：Mart铆、 Joan.、Oliver、 Arnau.、Freixenet、 Jordi.、Mart铆、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Role of Digital Libraries in a Time of Global Change [electronic resource] : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings

0
索取号：
作者：Chowdhury、 Gobinda.、Koo、 Chris.、Hunter、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Applications and Interoperable Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Eliassen、 Frank.、Kapitza、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings

0
索取号：
作者：Chen、 Hsinchun.、Chau、 Michael.、Li、 Shu-hsing.、Urs、 Shalini.、Srinivasa、 Srinath.、Wang、 G. Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multi-Agent-Based Simulation X [electronic resource] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers

0
索取号：
作者：Tosto、 Gennaro.、Dyke Parunak、 H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reliable Software Technologiey-Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

0
索取号：
作者：Real、 Jorge.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Space, Time, and Spacetime [electronic resource] : Physical and Philosophical Implications of Minkowski's Unification of Space and Time

0
索取号：
作者：Petkov、 Vesselin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

0
索取号：
作者：Lodi、 Andrea.、Milano、 Michela.、Toth、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trust Management IV [electronic resource] : 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings

0
索取号：
作者：Nishigaki、 Masakatsu.、J酶sang、 Audun.、Murayama、 Yuko.、Marsh、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Space-Time Continuous Models of Swarm Robotic Systems [electronic resource] : Supporting Global-to-Local Programming

0
索取号：
作者：Hamann、 Heiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院